* "proof.library"
##base _ProofBase
##bias 30
##public
IsProofA( pathname, taglist )(A0,A1)
IsProofFromLockA( lock, taglist )(A0,A1)
AllocProofA( pf, taglist )(A0,A1)
FreeProofA( pf, taglist )(A0,A1)
LoadProofA( filename, pf, taglist )(A0,A1,A2)
LoadProofFromLockA( lock, pf, taglist )(A0,A1,A2)
SaveProofA( pf, taglist )(A0,A1)
ConvertToProofA( pf, taglist )(A0,A1)
ConvertFromProofA( pf, taglist )(A0,A1)
GetProofAttrsA( pf, taglist )(A0,A1)
SetProofAttrsA( pf, taglist )(A0,A1)
ValidProofDesc( pf )(A0)
AllocProofOwnerA( po, taglist )(A0,A1)
FreeProofOwnerA( po, taglist )(A0,A1)
LoadProofOwnerA( filename, po, taglist )(A0,A1,A2)
SaveProofOwnerA( po, taglist )(A0,A1)
SetProofOwnerAttrsA( po, taglist )(A0,A1)
GetProofOwnerAttrsA( po, taglist )(A0,A1)
SetProofOwnerEntry( po, group, category, name )(A0,D0,D1,A1)
GetProofOwnerEntry( po, group, category )(A0,D0,D1)
AllocProofOwnerEntry( po, group, name, bitnum )(A0,D0,A1,A2)
LoadProofFromBPTRA( fp, pf, taglist )(A0,A1,A2)
##end
